K-Maude Definition of Dynamic Software Architecture

One of the complex issues in developing architectural models of software systems is the capturing of architectures dynamics, i.e., systems for which composition of interacting components, changes at run time. In this paper, we argue that it is possible and valuable to provide a Dynamic Software Architecture Meta-model (DySAM) that accounts for interactions between architectural components and their reconfiguration. The key to the proposed approach is to use a graphical notation, according to MDA approach, and a Maude semantic basis using the K framework for both dynamic software architecture elements reconfiguration and steady-state behavior.